Checking Timed Büchi Automata Emptiness on Simulation Graphs

机译：在仿真图上检查定时Büchi自动机的空性

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stavros Tripakis;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Checking Timed Buechi Automata Emptiness on Simulation Graphs [J] . STAVROS TRIPAKIS ACM transactions on computational logic . 2009,第3期

机译：在仿真图上检查定时Buechi自动机的空性
2. Variations on parallel explicit emptiness checks for generalized Büchi automata [J] . Renault Étienne, Duret-Lutz Alexandre, Kordon Fabrice, International Journal on Software Tools for Technology Transfer . 2017,第6期

机译：广义Büchi自动机的并行显式空度检查的变体
3. Comparison of Algorithms for Checking Emptiness on B?chi Automata [J] . Andreas Gaiser, Stefan Schwoon OASIcs : OpenAccess Series in Informatics . 2009,第4期

机译：B？chi自动机上的空性检查算法比较
4. Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction [C] . Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, CAV 2013 . 2013

机译：使用包含抽象的定时Büchi自动机的多核空虚检查
5. First order model checking of o-automata using multiway decision graphs. [D] . Wang, Fang. 2005

机译：使用多路决策图对o-自动机进行一阶模型检查。
6. Validation of Ultrasonography for Assessment of Gastric Emptying Time in Healthy Cats by Radionuclide Scintigraphy [O] . R. Husnik, J.M. Fletcher, L. Gaschen, 2017

机译：放射性核素闪烁显像在评估健康猫胃排空时间方面的超声学验证
7. Multi-core emptiness checking of timed Büchi automata using inclusion abstraction [O] . Laarman, Alfons, Olesen, Mads Chr., Dalsgaard, Andreas, 2013

机译：使用包含抽象对定时Büchi自动机进行多核空度检查

Checking Timed Büchi Automata Emptiness on Simulation Graphs

著录项

引文网络

相似文献

相关主题

期刊订阅